#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a;
    float b;
    a = 0x77777777;
    b = 77777777.987;
    a = /*(int)*/b;
}

